Mathematical Methods in Program Development. Springer-Verlag, 1996.

Relational transducers mapping sequences of input relations to sequences of output relations are proposed for high-level declarative specifications of business models. See [404] for a related class of ASM-transducers. Contains the problem description for the steam boiler control competition [7] and 22 proposed solutions obtained using the major known formal methods, with text and complete documentation on the accompanying CD. The steam boiler case study: Competition of formal program specification and development methods. In J.-Motivation of the steam-boiler control competition [7] and short characterization of the 22 problem solutions appearing in the book. 10. J.-R. Abrial and L. Mussat. Specification and design of a transmission protocol by successive refinements using B.